Functional Logic Without Axioms or Primitive Rules of Inference (1947)
نویسندگان
چکیده
This article is a corrected reprint of K. R. Popper (1947d). Functional Logic without Axioms or Primitive Rules Inference. In: Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings the Section Sciences 50, pp. 1214–1224.
منابع مشابه
Inference Rules for Probability Logic
Gentzen’s and Prawitz’s approach to deductive systems, and Carnap’s and Popper’s treatment of probability in logic were two fruitful ideas of logic in the mid-twentieth century. By combining these two concepts, the notion of sentence probability, and the deduction relation formalized by means of inference rules, we introduce a system of inference rules based on the traditional proof-theoretic p...
متن کاملA Meta-Logic of Inference Rules: Syntax
This work was intended to be an attempt to introduce the metalanguage for working with multiple-conclusion inference rules that admit asserted propositions along with the rejected propositions. The presence of rejected propositions, and especially the presence of the rule of reverse substitution, requires certain change the definition of structurality.
متن کاملDerivation Rules as Anti-Axioms in Modal Logic
We discuss a ‘negative’ way of defining frame classes in (multi-)modal logic, and address the question whether these classes can be axiomatized by derivation rules, the ‘non-ξ rules’, styled after Gabbay’s Irreflexivity Rule. The main result of this paper is a meta-theorem on completeness, of the following kind: If Λ is a derivation system having a set of axioms that are special Sahlqvist formu...
متن کاملInference Rules for Nested Functional Dependencies
Functional dependencies add semantics to a database schema, and are useful for studying various problems, such as database design, query optimization and how dependencies are carried into a view. In the context of a nested relational model, these dependencies can be extended by using path expressions instead of attribute names, resulting in a class of dependencies that we call nested functional...
متن کاملMeasurement without Archmedean Axioms"
Axiomatizations of measurement systems usually require an axiom--called an Archimedean axiom-that allows quantities to be compared. This type of axiom has a different form from the other measurement axioms, and cannot-except in the most trivial cases-be empirically verified. In this paper, representation theorems for extensive measurement structures without Archimedean axioms are given. Such st...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Trends in logic
سال: 2022
ISSN: ['1572-6126', '2212-7313']
DOI: https://doi.org/10.1007/978-3-030-94926-6_4